public class Example10_16 {
   public static void main(String args[]){
      WindowTextSort win=new WindowTextSort();
      win.setTitle("窗口"); 
   }
}
